Price-and-verify: a new algorithm for recursive circle packing using Dantzig–Wolfe decomposition

This is the author accepted manuscript. The final version is available from Springer via the DOI in this record Packing rings into a minimum number of rectangles is an optimization problem which appears naturally in the logistics operations of the tube industry. It encompasses two major difficulties, namely the positioning of rings in rectangles and the recursive packing of rings into other rings. This problem is known as the Recursive Circle Packing Problem (RCPP). We present the first dedicated method for solving RCPP that provides strong dual bounds based on an exact Dantzig–Wolfe reformulation of a nonconvex mixed-integer nonlinear programming formulation. The key idea of this reformulation is to break symmetry on each recursion level by enumerating one-level packings, i.e., packings of circles into other circles, and by dynamically generating packings of circles into rectangles. We use column generation techniques to design a “price-and-verify” algorithm that solves this reformulation to global optimality. Extensive computational experiments on a large test set show that our method not only computes tight dual bounds, but often produces primal solutions better than those computed by heuristics from the literature.Federal Ministry of Education and Researc

Use of long-term microdialysis subcutaneous glucose monitoring in the management of neonatal diabetes - A first case report

In neonatal diabetes mellitus (NDM), a rare genetic disorder, insulin therapy is required but the management is difficult. Frequent blood glucose determinations are necessary in most cases. Microdialysis subcutaneous glucose monitoring (MSGM) is feasible in neonates and has been proposed to reduce painful blood sampling and blood loss. We have applied long-term MSGM to a small-fordate female newborn with transient NDM. We found a good correlation of subcutaneous and blood glucose concentration over a wide range of values. MSGM enabled a reduction in blood glucose determinations during optimization of intravenous insulin treatment and initiation of continuous subcutaneous insulin infusion. We conclude that long-term MSGM is feasible and may reduce painful blood sampling and blood loss in NDM. Furthermore, long-term MSGM may hold a potential for avoiding hypoglycemic episodes and earlier discharge. Copyright (C) 2006 S. Karger AG, Basel

Results from the Relativistic Heavy Ion Collider

We describe the current status of the heavy ion research program at the Relativistic Heavy Ion Collider (RHIC). The new suite of experiments and the collider energies have opened up new probes of the medium created in the collisions. Our review focuses on the experimental discoveries to date at RHIC and their interpretation in the light of our present theoretical understanding of the dynamics of relativistic heavy ion collisions and of the structure of strongly interacting matter at high energy density.Comment: 47 pages, 10 figures, submitted to Annual Review of Nuclear and Particle Science. The authors invite and appreciate feedback about possible errors and/or inconsistencies in the manuscrip

Beliefs about the Minds of Others Influence How We Process Sensory Information

Attending where others gaze is one of the most fundamental mechanisms of social cognition. The present study is the first to examine the impact of the attribution of mind to others on gaze-guided attentional orienting and its ERP correlates. Using a paradigm in which attention was guided to a location by the gaze of a centrally presented face, we manipulated participants' beliefs about the gazer: gaze behavior was believed to result either from operations of a mind or from a machine. In Experiment 1, beliefs were manipulated by cue identity (human or robot), while in Experiment 2, cue identity (robot) remained identical across conditions and beliefs were manipulated solely via instruction, which was irrelevant to the task. ERP results and behavior showed that participants' attention was guided by gaze only when gaze was believed to be controlled by a human. Specifically, the P1 was more enhanced for validly, relative to invalidly, cued targets only when participants believed the gaze behavior was the result of a mind, rather than of a machine. This shows that sensory gain control can be influenced by higher-order (task-irrelevant) beliefs about the observed scene. We propose a new interdisciplinary model of social attention, which integrates ideas from cognitive and social neuroscience, as well as philosophy in order to provide a framework for understanding a crucial aspect of how humans' beliefs about the observed scene influence sensory processing

A CDCL-style calculus for solving non-linear constraints

In this paper we propose a novel approach for checking satisfiability of non-linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non-linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non-linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non-linear SMT-LIB examples and the results have been compared with state-of-the-art SMT solvers.Comment: 17 pages, 3 figures; accepted at FroCoS 2019; software available at <http://informatik.uni-trier.de/~brausse/ksmt/

Modelling Service Level Agreements for Business Process Outsourcing Services

Many proposals to model service level agreements (SLAs) have been elaborated in order to automate different stages of the service lifecycle such as monitoring, implementation or deployment. All of them have been designed for computational services and are not well–suited for other types of services such as business process outsourcing (BPO) services. However, BPO services suported by process–aware information systems could also benefit from modelling SLAs in tasks such as performance monitoring, human resource assignment or process configuration. In this paper, we identify the requirements for modelling such SLAs and detail how they can be faced by combining techniques used to model computational SLAs, business processes, and process performance indicators. Furthermore, our approach has been validated through the modelling of several real BPO SLAsMinisterio de Economía y Competitividad TIN2012-32273Junta de Andalucía TIC-5906Junta de Andalucía P12-TIC-186